Section: Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
Intel Grant
Participants : Sylvain Conchon [contact] , Alain Mebsout.
S. Conchon has obtained an academic grant by Intel corporation on the development of the Cubicle model checker, for 2 years starting from Dec. 2012 The goal of this project is to develop a new version of Cubicle with significantly improved model-checking power. This required innovative algorithmic enhancements to be implemented and evaluated.
Partner: Intel Strategic Cad Labs in Hillsboro, OR, USA